Code Synthesis - PDFSEARCH.IO - Document Search Engine

Code Synthesis
Results: 68

#	Item
11	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-07 15:32:17
12	Toward a Shared Infrastructure for Code Checking, Angelic Execution, Debugging, and Synthesis (Invited Talk) Emina Torlak University of California, Berkeley, USA Add to Reading List Source URL: www.zvonimir.info Language: English - Date: 2012-06-12 16:33:45
13	Yosys Manual Clifford Wolf Abstract Most of today’s digital design is done in HDL code (mostly Verilog or VHDL) and with the help of HDL synthesis tools. Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:28 Electronic design Digital electronics Verilog Logic synthesis VHDL Field-programmable gate array High-level synthesis Application-specific integrated circuit Register-transfer level Electronic engineering Electronic design automation Hardware description languages
14	Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Functional languages Procedural programming languages C++ Snippet Source code Scala Eval Constructor ALGOL 68 Computing Software engineering Computer programming
15	STReESS – Studying Tree Responses to extreme Events: a SynthesiS STSM information Short-Term Scientific Mission, COST Action FP 1106 Reference code: COST-STSM-ECOST-STSM-FP1106 Add to Reading List Source URL: streess-cost.eu Language: English - Date: 2013-05-03 05:15:03 Plant physiology Plant anatomy Tissues Plant cells Xylem Microtome Fagus sylvatica Staining Ethanol Biology Anatomy Botany
16	STReESS: Studying Tree Responses to extreme Events: a SynthesiS Cost Action FP1106 Short Time Scientific Mission Reference code: COST-STSM-ECOST-STSM-FP1106STSM Applicant: Dr. Claudia Cocozza (postdoc), De Add to Reading List Source URL: streess-cost.eu Language: English - Date: 2014-03-17 07:02:15 Environmental chemistry Geology Science Academia Dendrology Air pollution Dendrochronology
17	STReESS – Studying Tree Responses to extreme Events: a SynthesiS Effect of Stress on Wood Quality: Chemical Point of View COST Action: FP1106 STSM Reference code: COST-STSM-FP1106Beneficiary: Mr. Gürcan Güler, Add to Reading List Source URL: streess-cost.eu Language: English - Date: 2014-06-17 04:16:43 Elasticity Anxiety Endocrine system Stress Sympathetic nervous system Dendrochronology Rational temperament Physics Mechanics Materials science
18	Tsunami Evaluation Coalition: Synthesis Report Executive summary 1 The report 16 Add to Reading List Source URL: www.alnap.org Language: English - Date: 2013-09-18 15:52:33 Development Philanthropy International development ALNAP Code of Conduct for the International Red Cross and Red Crescent Movement and NGOs in Disaster Relief Indian Ocean earthquake Humanitarian aid Tsunami Evaluation Coalition
19	Microsoft Word - CODE_FINAL-1.doc Add to Reading List Source URL: www.ia-sb.eu Language: English - Date: 2011-11-30 09:08:49 Gene expression Biotechnology Molecular biology Synthetic biology Artificial gene synthesis Ridge Gene Nucleic acid sequence DNA Biology Molecular genetics Genetics
20	C:/Documents and Settings/BrianB/Desktop/Notes/work/HASH-Sha3/round 2/FPGA_examination/FPGA analysis - wout code/FPGAAnalysis.dvi Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-07 08:44:55 Field-programmable gate array Digital electronics Reconfigurable computing Xilinx Integrated circuits Electronic design automation Altera Logic synthesis Application-specific integrated circuit Electronic engineering Electronics Fabless semiconductor companies

UPDATE